>>= -package:stack package:linear-base

x >>= g applies a linear function g linearly (i.e., using it exactly once) on the value of type a inside the value of type m a